Core Expressions: An Intermediate Representation for Expressions in C
نویسنده
چکیده
The paper presents a simple representation of C expressions and an algorithm that translates C expressions into this form. The representation can be used as a simple model when designing program analyses. At the same time, it can be used as a compiler intermediate representation to build actual analysis implementations. We describe a formulation of a flow-insensitive, but field-sensitive points-to analysis using this representation. We have implemented this intermediate representation and points-to analysis in CRYSTAL, our program analysis infrastructure. We find core expression very useful in providing a convenient model for program analysis and a simple intermediate compiler representation for C expressions.
منابع مشابه
The Relationship between Cultural Intelligence and Expressions of Gratitude among Iranian Upper-Intermediate EFL Learners
This study investigated the relationship between cultural intelligence and the use of expressions of gratitude among Iranian upper intermediate EFL learners. 50 upper intermediate learners were selected through purposive sampling, with their proficiency level being controlled. A discourse completion test (DCT) for the expressions of gratitude and a cultural intelligence scale were given to the ...
متن کاملApproximating the Distributions of Singular Quadratic Expressions and their Ratios
Noncentral indefinite quadratic expressions in possibly non- singular normal vectors are represented in terms of the difference of two positive definite quadratic forms and an independently distributed linear combination of standard normal random variables. This result also ap- plies to quadratic forms in singular normal vectors for which no general representation is currently available. The ...
متن کاملAn Intermediate Representation for the Interpretation of Temporal Expressions
The interpretation of temporal expressions in text is an important constituent task for many practical natural language processing tasks, including question-answering, information extraction and text summarisation. Although temporal expressions have long been studied in the research literature, it is only more recently, with the impetus provided by exercises like the ACE Program, that attention...
متن کاملSteering Clear of Triples: Deriving the Control Flow Graph Directly from the Abstract Syntax Tree in C Programs
This article explores the extension of Morgenthaler's Virtual Control Flow techniqueeMor97], which derives control owwASU86] semantics directly from the Abstract Syntax Tree, from the relatively coarse granularity of syntactic C expressions to the ner granularity of basic block expressions, that is, expressions without embedded control ow. We explain why this is a better level of abstraction fo...
متن کاملThe Interface between Cultural Intelligence and Interlanguage Pragmatics: The Case of Gratitude Speech Act
The process of globalization entails the acquisition of a construct, cultural intelligence, with which EFL students can function appropriately in intercultural situations. This study was, first, intended to find the relationship between cultural intelligence and the use of expressions of gratitude by Iranian EFL learners. Second, it sought to determine whether there were any significant differe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005